Abstract syntax - PDFSEARCH.IO - Document Search Engine

Abstract syntax
Results: 599

#	Item
541	Highlights in Erlang 5.2/OTP R9B This document describes the major new features and changes in version R9B of Erlang/OTP. The changes are described as a comparision with the original R8B release and some of them have alr Add to Reading List Source URL: www.erlang.se Language: English - Date: 2002-11-11 08:43:54 Computer programming Ericsson Erlang Structured storage Mnesia Abstract Syntax Notation One Modular programming Common Object Request Broker Architecture Open Telecom Platform Computing Software engineering Erlang programming language
542	TPS: A Theorem Proving System for Classical Type Theory Peter B. Andrews1, Matthew Bishop2, Sunil Issar3, Dan Nesmith4, Frank Pfenning5, Hongwei Xi6 Abstract Add to Reading List Source URL: gtps.math.cmu.edu Language: English - Date: 2003-05-01 16:06:08 Proof theory Logical syntax Logical truth Automated theorem proving Peter B. Andrews Mathematical proof First-order logic Formal proof Proof procedure Logic Mathematics Mathematical logic
543	Getting Erlang to talk to the outside world Joe Armstrong Swedish Institute of Computer Science Box 1263 SE[removed]Kista, Sweden Add to Reading List Source URL: www.erlang.se Language: English - Date: 2002-08-19 06:33:26 Web services Persistence Ericsson Erlang XML Abstract Syntax Notation One Web Services Description Language Serialization Representational state transfer Computing Web standards Markup languages
544	The Incremental Modelling of the Z39.50 Protocol with Object Petri Nets Charles Lakos1 and John Lamp2 Computer Science, University of Adelaide, Adelaide, SA, 5005, Australia. 2 Add to Reading List Source URL: lamp.infosys.deakin.edu.au Language: English - Date: 1999-03-07 17:35:30 Models of computation Concurrency Diagrams Petri net Object-oriented programming Z39.50 Abstract Syntax Notation One Objective-C Protocol data unit Computing Software engineering Computer programming
545	file://C:rsrokspaceus.org.ukifse_st Add to Reading List Source URL: www.lepus.org.uk Language: English - Date: 2008-01-16 12:53:35 Java programming language Object-oriented programming C++ Java syntax C++ classes Software design patterns LePUS3 Abstract type Abstract factory pattern Software engineering Computer programming Computing
546	September 29-30, 2014. Valencia, Spain. co-located with MODELS ORGANIZING COMMITTEE Program Co-Chairs: • Daniel Amyot, University of Add to Reading List Source URL: www.pragmadev.com Language: English - Date: 2014-02-18 10:22:26 TTCN Specification and Description Language Algorithmic Number Theory Symposium Computing Message Sequence Chart Lecture Notes in Computer Science Model-driven engineering Abstract Syntax Notation One Software engineering Diagrams Science Unified Modeling Language
547	Expressive adverbials as a stem-class in Jamsay (Dogon) Jeffrey Heath, University of Michigan January 2012 draft Abstract Add to Reading List Source URL: www-personal.umich.edu Language: English - Date: 2012-09-28 10:05:40 Syntax Language Ideophone Predicate Adjective Noun Predicative verb Stative verb Copula Parts of speech Linguistics Grammar
548	Alternative questions through focus alternatives in Mandarin Chinese Michael Yoshitaka Erlewine Massachusetts Institute of Technology 1 Introduction In this paper I discuss the syntax/semantics of alternative questions i Add to Reading List Source URL: mitcho.com Language: English - Date: 2012-09-05 20:16:32 Boolean algebra Mathematics Propositional calculus Logical connectives Human communication Yes–no question Logical disjunction Question A-not-A question Grammar Abstract algebra Linguistics
549	A Pattern Language For Parsing Yun Mai and Michel de Champlain Department of Electrical and Computer Engineering Concordia University {y mai, michel}@ece.concordia.ca Abstract Add to Reading List Source URL: soft.vub.ac.be Language: English - Date: 2002-03-05 09:52:40 Compiler construction Formal languages Parsing LL parser Lex Formal grammar Compiler Syntax LALR parser Programming language implementation Software engineering Computing
550	Downward movement in Dogon internally headed relative constructions Abstract Dogon languages of Mali, West Africa bring some new twists to the long-standing discussion of the nature of relative clauses in general and of Add to Reading List Source URL: www-personal.umich.edu Language: English - Date: 2012-09-28 10:05:40 Linguistic typology Linguistic morphology Relative clause Word order Dependent clause Inflection Wh-movement Relative pronoun Linguistics Syntax Grammar

UPDATE